Communicating Embedded Systems for Computer Science
by Claude Jard,Olivier Roux
ISBN 13: 9781848211438
Format: Hardcover (288 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009
Save for later
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues)
by
ISBN 13: 9783540857778
Format: Paperback (295 pages) Publisher: Springer Published: 05 Sep 2008
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)
by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard
ISBN 13: 9783540427872
Format: Paperback (244 pages) Publisher: Springer Published: 24 Oct 2001